<?php
/**
 * Created by PhpStorm.
 * User: ZD-SERVER
 * Date: 2017/8/3
 * Time: 16:15
 */
$a=[1,2,3];
var_dump( in_array(1,$a));